integral(2^x * sin(x)), 0 to 1